package randoopFailures;

import junit.framework.*;

public class PackageModelRandoopTest_failure_5 extends TestCase {

  public static boolean debug = false;

  public void test1() throws Throwable {

    if (debug) System.out.printf("%nPackageModelRandoopTest_failure_5.test1");


    com.hyperrealm.kiwi.ui.model.TableSorter var0 = new com.hyperrealm.kiwi.ui.model.TableSorter();
    var0.fireTableRowsUpdated(100, 1);
    com.hyperrealm.kiwi.ui.model.OrderedListModel var4 = new com.hyperrealm.kiwi.ui.model.OrderedListModel();
    com.hyperrealm.kiwi.ui.model.KDocument var6 = new com.hyperrealm.kiwi.ui.model.KDocument((-1));
    javax.swing.text.Position var7 = var6.getStartPosition();
    java.io.File[] var9 = new java.io.File[] { };
    com.hyperrealm.kiwi.ui.model.FilesystemDataSource var11 = new com.hyperrealm.kiwi.ui.model.FilesystemDataSource(var9, true);
    java.lang.Object var14 = var11.getValueForProperty((java.lang.Object)(byte)0, "");
    java.io.File[] var15 = new java.io.File[] { };
    com.hyperrealm.kiwi.ui.model.FilesystemDataSource var17 = new com.hyperrealm.kiwi.ui.model.FilesystemDataSource(var15, true);
    java.lang.Object var19 = var11.getValueForProperty((java.lang.Object)var15, "hi!");
    var6.putProperty((java.lang.Object)0.0f, (java.lang.Object)var15);
    var4.setElements((java.lang.Object[])var15);
    var0.setValueAt((java.lang.Object)var4, 10, 100);

  }

}
